Дев'ять українських школярів у ТОП-10 міжнародного чемпіонату із логіки